es{-}rcv{-}atom(${\it es}$;$e$;$a$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$es{-}isrcv(${\it es}$; $e$) \& es{-}val(${\it es}$; $e$):es{-}valtype(${\it es}$; $e$)$>>$$a$